Schloss Dagstuhl – Leibniz-Center for Informatics GmbH, Dagstuhl Publishing, Saarbrücken/Wadern,
نویسندگان
چکیده
We survey in this paper some variants of the notion of determinism, refining the spectrum betweennon-determinism and determinism. We present unambiguous automata, strongly unambiguousautomata, prophetic automata, guidable automata, and history-deterministic automata. Weinstantiate these various notions for finite words, infinite words, finite trees, infinite trees, datalanguages, and cost functions. The main results are underlined and some open problems proposed. 1998 ACM Subject Classification F.1.1 Models of Computation, F.1.2 Modes of Computation,F.4.3 Formal Languages
منابع مشابه
Bandwidth on Demand Dagstuhl Seminar
This paper is the executive summary of the Dagstuhl Seminar 09072 Bandwidth on Demand which was held from February 8-11, 2009, in Schloss Dagstuhl Leibniz Center for Informatics.
متن کاملEvolutionary Test Generation — Dagstuhl Seminar —
From September 24th to September 29th 2008 the Dagstuhl Seminar 08351 “Evolutionary Test Generation ” was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. This paper contains an executive summary of the seminar and the open problems that were found.
متن کاملRuntime Verification , Diagnosis , Planning and Control for Autonomous Systems — Dagstuhl Seminar —
From November 7 to 12, 2010, the Dagstuhl Seminar 10451 “Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems” was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This executive summary provides an overview of the goals and topics of the seminar.
متن کامل10081 Abstracts Collection Cognitive Robotics Dagstuhl Seminar
From 21.02. to 26.02.2010, the Dagstuhl Seminar 10081 Cognitive Robotics was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper....
متن کاملInter - Vehicular Communication — Dagstuhl Seminar —
From October 3 to October 6, 2010, the Dagstuhl Seminar 10402 “Inter-Vehicular Communication” was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. The first section describe...
متن کامل